Transient and Steady-State Statistical Analysis for Discrete Event Simulators
نویسندگان
چکیده
We extend the model checking tool MultiVeStA with statistical model checking of steady-state properties. Since MultiVeStA acts as a front-end for simulation tools, it confers this ability onto any tool with which it is integrated. The underlying simulation models are treated as black-box systems. We will use an approach based on batch means using the ASAP3 algorithm. We motivate the work using two case studies: a biochemical model written in the Bio-PEPA language and an application from transport logistics.
منابع مشابه
A Framework for Efficient Hybrid Simulation Modeling and Optimal Control of Multihop Wireless Networks
The performance of multihop wireless networks (MWN) is normally studied via discrete event simulation over a fixed time horizon using a steady-state type of statistical analysis procedure. However, due to the dynamic nature of network connectivity and nonstationary traffic, such an approach may be inappropriate as the network may spend most time in a transient/nonstationary state. Moreover, the...
متن کاملExperimental and Numerical Investigation of Air Temperature Distribution inside a Car under Solar Load Condition
In this work both experimental and numerical analysis are carried out to investigate the effect of solar radiation on the cabin air temperature of Maruti Suzuki Celerio car parked for 90 min under solar load condition. The experimental and numerical analysis encompasses on temperature increment of air at various locations ins...
متن کاملDynamics Analysis of the Steady and Transient States of a Nonlinear Piezoelectric Beam by a Finite Element Method
This paper presents a finite element formulation for the dynamics analysis of the steady and transient states of a nonlinear piezoelectric beam. A piezoelectric beam with damping is studied under harmonic excitation. A numerical method is used for this analysis. In the paper, the central difference formula of four order is used and compared with the central difference formula of two order in th...
متن کاملAnalysis of Transient Flow in the Case of Secondary Injection for Transient Vector Control (RESEARCH NOTE)
The purpose of this paper is to analyze the flow field structure in transient state and performance of secondary injection system for thrust vectoring in divergent section of a two-dimensional nozzle. Secondary injection for thrust vectoring in a two-dimensional nozzle is studied by solving three-dimensional Reynolds-averaged equations by means of fluent solver. Spalart-allmaras model was used ...
متن کاملSimulation, Control and Experimental Analysis of 1,3Butadiene Purification Unit
Simulation of a process and analysis of its resulting data in both dynamic and steady-state conditions are fundamental steps in understanding the process in order to design and efficient control of system as well as implementing operational cost reduction scheme. In the present paper, steady and unsteady state simulation of Amir Kabir1, 3 butadiene purification units has been done by using Aspe...
متن کامل